then

The then keyword is required in the fitting mode if constructions. Refer to the latter for details.